Using Interval Temporal Logic and Inference Rules for the Automatic Generation of Multimedia Presentations

We propose a mechanism and sys tem f o r the automatic generation of interactive mult imedia presentat ions f r o m their specifications. A presentat ion specifica(5on contains three parts: the resources, the temporal in format ion , and the spatial information. We use a ICON programming technique and a graphical user interface d l o w the presentation designer t o quickly specify what he/sh.e wants . Our sys tem takes these requirements and relies o n inference rules wri t ten an Prolog t o generate interactive presentations. These inference rules are based o n i n t e r v d temporal logic and important issues in mult imedia presentat ions, such as the hardware l imitat ions of a n ordinary personal computer and the properties of a mult imedia resource. O u r prototype system r u n under M S Windows. T h e early experience of using the sys tem shows that it is feasible t o use logic inference rules t o assist the design of good mult imedia presentations.